Luca Cardelli - PDFSEARCH.IO - Document Search Engine

Luca Cardelli
Results: 34

#	Item
11	Manipulating Trees with Hidden Labels Luca Cardelli - Microsoft Research Philippa Gardner - Imperial College London Giorgio Ghelli - Università di Pisa Abstract. We define an operational semantics and a type system for Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2003-04-11 12:19:43
12	Mobility Types for Mobile Ambients Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guaran Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2008-03-07 05:35:44
13	Ambient Groups and Mobility Types Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2008-03-07 05:32:44
14	TQL: A Query Language for Semistructured Data Based on the Ambient Logic Luca Cardelli Microsoft Research, Cambridge, UK Giorgio Ghelli Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2003-04-11 05:18:50
15	Welcome to ECOOP 2009 in Genova! ECOOP 2009’s Organizing Committee is pleased to welcome you to Genova, for the 23rd European Conference on Object-Oriented Programming. Since it was first held, in Paris in 1987, ECOOP Add to Reading List Source URL: ecoop09.disi.unige.it Language: English - Date: 2009-08-07 08:02:11 Turing Award laureates European Conference on Object-Oriented Programming Dahl-Nygaard Prize David Ungar Kristen Nygaard Luca Cardelli Bertrand Meyer Ole-Johan Dahl W postcode area OOPSLA
16	On The Computational Power of Biochemistry Luca Cardelli Microsoft Research with Add to Reading List Source URL: www.lucacardelli.name Language: English - Date: 2009-03-14 15:21:03 Computer science Luca Cardelli Year of birth missing Type theory
17	A Language with Distributed Scope Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301, USA Add to Reading List Source URL: lucacardelli.name - Date: 2007-10-27 09:15:58
18	Obliq A language with distributed scope Luca Cardelli Digital Equipment Corporation, Systems Research Center Abstract Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 09:16:17
19	Amateur Adult Equitation Fields & Fences Palatine Add to Reading List Source URL: www.nihja.net Language: English - Date: 2015-05-24 23:33:13 Luca Cardelli Year of birth missing
20	Senior Medal Fields & Fences Fields & Fences Add to Reading List Source URL: www.nihja.net Language: English - Date: 2015-05-24 23:33:59 Year of birth missing Luca Cardelli

UPDATE